H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 2.168 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (\vv1 ->

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

) (zip xs (enumFrom 0))

module Maybe where

import qualified List
import qualified Prelude

Lambda Reductions:
The following Lambda expression

\vv1→

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices0 p vv1 =

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

The following Lambda expression

\ab→(a,b)

is transformed to

zip0 a b = (a,b)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

module Maybe where

import qualified List
import qualified Prelude

Case Reductions:
The following Case expression

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices00 p (x,i) = if p x then i : [] else []

findIndices00 p _ = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	if p x then i : [] else []
findIndices00	p _	=	[]

module Maybe where

import qualified List
import qualified Prelude

If Reductions:
The following If expression

if p x then i : [] else []

is transformed to

findIndices000 i True = i : []

findIndices000 i False = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p _	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

mainModule List

((elemIndices :: Int -> [Int] -> [Int]) :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule List

(elemIndices :: Int -> [Int] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="elemIndices",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="elemIndices wy3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="elemIndices wy3 wy4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="findIndices (wy3 ==) wy4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="concatMap (findIndices0 (wy3 ==)) (zip wy4 (enumFrom (Pos Zero)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="concat . map (findIndices0 (wy3 ==))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="concat (map (findIndices0 (wy3 ==)) (zip wy4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zip wy4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 wy4 (enumFrom (Pos Zero))))",fontsize=16,color="burlywood",shape="box"];704[label="wy4/wy40 : wy41",fontsize=10,color="white",style="solid",shape="box"];10 -> 704[label="",style="solid", color="burlywood", weight=9];
704 -> 11[label="",style="solid", color="burlywood", weight=3];
705[label="wy4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 705[label="",style="solid", color="burlywood", weight=9];
705 -> 12[label="",style="solid", color="burlywood", weight=3];
11[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 (wy40 : wy41) (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
12[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
13[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 (wy40 : wy41) (numericEnumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
14[label="foldr (++) [] (map (findIndices0 (wy3 ==)) [])",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3];
15[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 (wy40 : wy41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
16[label="foldr (++) [] []",fontsize=16,color="black",shape="triangle"];16 -> 18[label="",style="solid", color="black", weight=3];
17[label="foldr (++) [] (map (findIndices0 (wy3 ==)) (zip0 wy40 (Pos Zero) : zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="[]",fontsize=16,color="green",shape="box"];19[label="foldr (++) [] (findIndices0 (wy3 ==) (zip0 wy40 (Pos Zero)) : map (findIndices0 (wy3 ==)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20[label="(++) findIndices0 (wy3 ==) (zip0 wy40 (Pos Zero)) foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];20 -> 21[label="",style="solid", color="black", weight=3];
21[label="(++) findIndices00 (wy3 ==) (zip0 wy40 (Pos Zero)) foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];21 -> 22[label="",style="solid", color="black", weight=3];
22[label="(++) findIndices00 (wy3 ==) (wy40,Pos Zero) foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];22 -> 23[label="",style="solid", color="black", weight=3];
23[label="(++) findIndices000 (Pos Zero) (wy3 == wy40) foldr (++) [] (map (findIndices0 (wy3 ==)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];23 -> 24[label="",style="solid", color="black", weight=3];
24[label="(++) findIndices000 (Pos Zero) (primEqInt wy3 wy40) foldr (++) [] (map (findIndices0 (primEqInt wy3)) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];706[label="wy3/Pos wy30",fontsize=10,color="white",style="solid",shape="box"];24 -> 706[label="",style="solid", color="burlywood", weight=9];
706 -> 25[label="",style="solid", color="burlywood", weight=3];
707[label="wy3/Neg wy30",fontsize=10,color="white",style="solid",shape="box"];24 -> 707[label="",style="solid", color="burlywood", weight=9];
707 -> 26[label="",style="solid", color="burlywood", weight=3];
25[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos wy30) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Pos wy30))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];708[label="wy30/Succ wy300",fontsize=10,color="white",style="solid",shape="box"];25 -> 708[label="",style="solid", color="burlywood", weight=9];
708 -> 27[label="",style="solid", color="burlywood", weight=3];
709[label="wy30/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 709[label="",style="solid", color="burlywood", weight=9];
709 -> 28[label="",style="solid", color="burlywood", weight=3];
26[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg wy30) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Neg wy30))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];710[label="wy30/Succ wy300",fontsize=10,color="white",style="solid",shape="box"];26 -> 710[label="",style="solid", color="burlywood", weight=9];
710 -> 29[label="",style="solid", color="burlywood", weight=3];
711[label="wy30/Zero",fontsize=10,color="white",style="solid",shape="box"];26 -> 711[label="",style="solid", color="burlywood", weight=9];
711 -> 30[label="",style="solid", color="burlywood", weight=3];
27[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos (Succ wy300)) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];712[label="wy40/Pos wy400",fontsize=10,color="white",style="solid",shape="box"];27 -> 712[label="",style="solid", color="burlywood", weight=9];
712 -> 31[label="",style="solid", color="burlywood", weight=3];
713[label="wy40/Neg wy400",fontsize=10,color="white",style="solid",shape="box"];27 -> 713[label="",style="solid", color="burlywood", weight=9];
713 -> 32[label="",style="solid", color="burlywood", weight=3];
28[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];714[label="wy40/Pos wy400",fontsize=10,color="white",style="solid",shape="box"];28 -> 714[label="",style="solid", color="burlywood", weight=9];
714 -> 33[label="",style="solid", color="burlywood", weight=3];
715[label="wy40/Neg wy400",fontsize=10,color="white",style="solid",shape="box"];28 -> 715[label="",style="solid", color="burlywood", weight=9];
715 -> 34[label="",style="solid", color="burlywood", weight=3];
29[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg (Succ wy300)) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];716[label="wy40/Pos wy400",fontsize=10,color="white",style="solid",shape="box"];29 -> 716[label="",style="solid", color="burlywood", weight=9];
716 -> 35[label="",style="solid", color="burlywood", weight=3];
717[label="wy40/Neg wy400",fontsize=10,color="white",style="solid",shape="box"];29 -> 717[label="",style="solid", color="burlywood", weight=9];
717 -> 36[label="",style="solid", color="burlywood", weight=3];
30[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) wy40) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];718[label="wy40/Pos wy400",fontsize=10,color="white",style="solid",shape="box"];30 -> 718[label="",style="solid", color="burlywood", weight=9];
718 -> 37[label="",style="solid", color="burlywood", weight=3];
719[label="wy40/Neg wy400",fontsize=10,color="white",style="solid",shape="box"];30 -> 719[label="",style="solid", color="burlywood", weight=9];
719 -> 38[label="",style="solid", color="burlywood", weight=3];
31[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos (Succ wy300)) (Pos wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];720[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];31 -> 720[label="",style="solid", color="burlywood", weight=9];
720 -> 39[label="",style="solid", color="burlywood", weight=3];
721[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];31 -> 721[label="",style="solid", color="burlywood", weight=9];
721 -> 40[label="",style="solid", color="burlywood", weight=3];
32[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos (Succ wy300)) (Neg wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];32 -> 41[label="",style="solid", color="black", weight=3];
33[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Pos wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];722[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];33 -> 722[label="",style="solid", color="burlywood", weight=9];
722 -> 42[label="",style="solid", color="burlywood", weight=3];
723[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];33 -> 723[label="",style="solid", color="burlywood", weight=9];
723 -> 43[label="",style="solid", color="burlywood", weight=3];
34[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Neg wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];724[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];34 -> 724[label="",style="solid", color="burlywood", weight=9];
724 -> 44[label="",style="solid", color="burlywood", weight=3];
725[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];34 -> 725[label="",style="solid", color="burlywood", weight=9];
725 -> 45[label="",style="solid", color="burlywood", weight=3];
35[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg (Succ wy300)) (Pos wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];35 -> 46[label="",style="solid", color="black", weight=3];
36[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg (Succ wy300)) (Neg wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];726[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];36 -> 726[label="",style="solid", color="burlywood", weight=9];
726 -> 47[label="",style="solid", color="burlywood", weight=3];
727[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];36 -> 727[label="",style="solid", color="burlywood", weight=9];
727 -> 48[label="",style="solid", color="burlywood", weight=3];
37[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Pos wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];728[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];37 -> 728[label="",style="solid", color="burlywood", weight=9];
728 -> 49[label="",style="solid", color="burlywood", weight=3];
729[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];37 -> 729[label="",style="solid", color="burlywood", weight=9];
729 -> 50[label="",style="solid", color="burlywood", weight=3];
38[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Neg wy400)) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];730[label="wy400/Succ wy4000",fontsize=10,color="white",style="solid",shape="box"];38 -> 730[label="",style="solid", color="burlywood", weight=9];
730 -> 51[label="",style="solid", color="burlywood", weight=3];
731[label="wy400/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 731[label="",style="solid", color="burlywood", weight=9];
731 -> 52[label="",style="solid", color="burlywood", weight=3];
39[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos (Succ wy300)) (Pos (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3];
40[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos (Succ wy300)) (Pos Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3];
41 -> 506[label="",style="dashed", color="red", weight=0];
41[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];41 -> 507[label="",style="dashed", color="magenta", weight=3];
41 -> 508[label="",style="dashed", color="magenta", weight=3];
42[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Pos (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3];
43[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Pos Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3];
44[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Neg (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3];
45[label="(++) findIndices000 (Pos Zero) (primEqInt (Pos Zero) (Neg Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3];
46 -> 506[label="",style="dashed", color="red", weight=0];
46[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];46 -> 509[label="",style="dashed", color="magenta", weight=3];
46 -> 510[label="",style="dashed", color="magenta", weight=3];
47[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg (Succ wy300)) (Neg (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3];
48[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg (Succ wy300)) (Neg Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3];
49[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Pos (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3];
50[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Pos Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3];
51[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Neg (Succ wy4000))) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3];
52[label="(++) findIndices000 (Pos Zero) (primEqInt (Neg Zero) (Neg Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];52 -> 66[label="",style="solid", color="black", weight=3];
53 -> 111[label="",style="dashed", color="red", weight=0];
53[label="(++) findIndices000 (Pos Zero) (primEqNat wy300 wy4000) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];53 -> 112[label="",style="dashed", color="magenta", weight=3];
53 -> 113[label="",style="dashed", color="magenta", weight=3];
53 -> 114[label="",style="dashed", color="magenta", weight=3];
54 -> 506[label="",style="dashed", color="red", weight=0];
54[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];54 -> 511[label="",style="dashed", color="magenta", weight=3];
54 -> 512[label="",style="dashed", color="magenta", weight=3];
507 -> 69[label="",style="dashed", color="red", weight=0];
507[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];508[label="Zero",fontsize=16,color="green",shape="box"];506[label="(++) findIndices000 (Pos wy16) False wy15",fontsize=16,color="black",shape="triangle"];506 -> 545[label="",style="solid", color="black", weight=3];
56 -> 506[label="",style="dashed", color="red", weight=0];
56[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];56 -> 513[label="",style="dashed", color="magenta", weight=3];
56 -> 514[label="",style="dashed", color="magenta", weight=3];
57 -> 550[label="",style="dashed", color="red", weight=0];
57[label="(++) findIndices000 (Pos Zero) True foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];57 -> 551[label="",style="dashed", color="magenta", weight=3];
57 -> 552[label="",style="dashed", color="magenta", weight=3];
58 -> 506[label="",style="dashed", color="red", weight=0];
58[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];58 -> 515[label="",style="dashed", color="magenta", weight=3];
58 -> 516[label="",style="dashed", color="magenta", weight=3];
59 -> 550[label="",style="dashed", color="red", weight=0];
59[label="(++) findIndices000 (Pos Zero) True foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];59 -> 553[label="",style="dashed", color="magenta", weight=3];
59 -> 554[label="",style="dashed", color="magenta", weight=3];
509 -> 72[label="",style="dashed", color="red", weight=0];
509[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];510[label="Zero",fontsize=16,color="green",shape="box"];61 -> 111[label="",style="dashed", color="red", weight=0];
61[label="(++) findIndices000 (Pos Zero) (primEqNat wy300 wy4000) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];61 -> 115[label="",style="dashed", color="magenta", weight=3];
61 -> 116[label="",style="dashed", color="magenta", weight=3];
61 -> 117[label="",style="dashed", color="magenta", weight=3];
62 -> 506[label="",style="dashed", color="red", weight=0];
62[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];62 -> 517[label="",style="dashed", color="magenta", weight=3];
62 -> 518[label="",style="dashed", color="magenta", weight=3];
63 -> 506[label="",style="dashed", color="red", weight=0];
63[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];63 -> 519[label="",style="dashed", color="magenta", weight=3];
63 -> 520[label="",style="dashed", color="magenta", weight=3];
64 -> 550[label="",style="dashed", color="red", weight=0];
64[label="(++) findIndices000 (Pos Zero) True foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];64 -> 555[label="",style="dashed", color="magenta", weight=3];
64 -> 556[label="",style="dashed", color="magenta", weight=3];
65 -> 506[label="",style="dashed", color="red", weight=0];
65[label="(++) findIndices000 (Pos Zero) False foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];65 -> 521[label="",style="dashed", color="magenta", weight=3];
65 -> 522[label="",style="dashed", color="magenta", weight=3];
66 -> 550[label="",style="dashed", color="red", weight=0];
66[label="(++) findIndices000 (Pos Zero) True foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];66 -> 557[label="",style="dashed", color="magenta", weight=3];
66 -> 558[label="",style="dashed", color="magenta", weight=3];
112[label="wy4000",fontsize=16,color="green",shape="box"];113[label="wy300",fontsize=16,color="green",shape="box"];114 -> 69[label="",style="dashed", color="red", weight=0];
114[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];111[label="(++) findIndices000 (Pos Zero) (primEqNat wy3000 wy40000) wy5",fontsize=16,color="burlywood",shape="triangle"];749[label="wy3000/Succ wy30000",fontsize=10,color="white",style="solid",shape="box"];111 -> 749[label="",style="solid", color="burlywood", weight=9];
749 -> 122[label="",style="solid", color="burlywood", weight=3];
750[label="wy3000/Zero",fontsize=10,color="white",style="solid",shape="box"];111 -> 750[label="",style="solid", color="burlywood", weight=9];
750 -> 123[label="",style="solid", color="burlywood", weight=3];
511 -> 69[label="",style="dashed", color="red", weight=0];
511[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];512[label="Zero",fontsize=16,color="green",shape="box"];69[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];752[label="wy41/wy410 : wy411",fontsize=10,color="white",style="solid",shape="box"];69 -> 752[label="",style="solid", color="burlywood", weight=9];
752 -> 81[label="",style="solid", color="burlywood", weight=3];
753[label="wy41/[]",fontsize=10,color="white",style="solid",shape="box"];69 -> 753[label="",style="solid", color="burlywood", weight=9];
753 -> 82[label="",style="solid", color="burlywood", weight=3];
545[label="(++) [] wy15",fontsize=16,color="black",shape="triangle"];545 -> 570[label="",style="solid", color="black", weight=3];
513 -> 574[label="",style="dashed", color="red", weight=0];
513[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];513 -> 575[label="",style="dashed", color="magenta", weight=3];
513 -> 576[label="",style="dashed", color="magenta", weight=3];
514[label="Zero",fontsize=16,color="green",shape="box"];551[label="Zero",fontsize=16,color="green",shape="box"];552 -> 574[label="",style="dashed", color="red", weight=0];
552[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];552 -> 577[label="",style="dashed", color="magenta", weight=3];
552 -> 578[label="",style="dashed", color="magenta", weight=3];
550[label="(++) findIndices000 (Pos wy17) True wy15",fontsize=16,color="black",shape="triangle"];550 -> 571[label="",style="solid", color="black", weight=3];
515 -> 574[label="",style="dashed", color="red", weight=0];
515[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];515 -> 579[label="",style="dashed", color="magenta", weight=3];
515 -> 580[label="",style="dashed", color="magenta", weight=3];
516[label="Zero",fontsize=16,color="green",shape="box"];553[label="Zero",fontsize=16,color="green",shape="box"];554 -> 574[label="",style="dashed", color="red", weight=0];
554[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];554 -> 581[label="",style="dashed", color="magenta", weight=3];
554 -> 582[label="",style="dashed", color="magenta", weight=3];
72[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];758[label="wy41/wy410 : wy411",fontsize=10,color="white",style="solid",shape="box"];72 -> 758[label="",style="solid", color="burlywood", weight=9];
758 -> 85[label="",style="solid", color="burlywood", weight=3];
759[label="wy41/[]",fontsize=10,color="white",style="solid",shape="box"];72 -> 759[label="",style="solid", color="burlywood", weight=9];
759 -> 86[label="",style="solid", color="burlywood", weight=3];
115[label="wy4000",fontsize=16,color="green",shape="box"];116[label="wy300",fontsize=16,color="green",shape="box"];117 -> 72[label="",style="dashed", color="red", weight=0];
117[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];517 -> 72[label="",style="dashed", color="red", weight=0];
517[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];518[label="Zero",fontsize=16,color="green",shape="box"];519 -> 592[label="",style="dashed", color="red", weight=0];
519[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];519 -> 593[label="",style="dashed", color="magenta", weight=3];
519 -> 594[label="",style="dashed", color="magenta", weight=3];
520[label="Zero",fontsize=16,color="green",shape="box"];555[label="Zero",fontsize=16,color="green",shape="box"];556 -> 592[label="",style="dashed", color="red", weight=0];
556[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];556 -> 595[label="",style="dashed", color="magenta", weight=3];
556 -> 596[label="",style="dashed", color="magenta", weight=3];
521 -> 592[label="",style="dashed", color="red", weight=0];
521[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];521 -> 597[label="",style="dashed", color="magenta", weight=3];
521 -> 598[label="",style="dashed", color="magenta", weight=3];
522[label="Zero",fontsize=16,color="green",shape="box"];557[label="Zero",fontsize=16,color="green",shape="box"];558 -> 592[label="",style="dashed", color="red", weight=0];
558[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];558 -> 599[label="",style="dashed", color="magenta", weight=3];
558 -> 600[label="",style="dashed", color="magenta", weight=3];
122[label="(++) findIndices000 (Pos Zero) (primEqNat (Succ wy30000) wy40000) wy5",fontsize=16,color="burlywood",shape="box"];766[label="wy40000/Succ wy400000",fontsize=10,color="white",style="solid",shape="box"];122 -> 766[label="",style="solid", color="burlywood", weight=9];
766 -> 132[label="",style="solid", color="burlywood", weight=3];
767[label="wy40000/Zero",fontsize=10,color="white",style="solid",shape="box"];122 -> 767[label="",style="solid", color="burlywood", weight=9];
767 -> 133[label="",style="solid", color="burlywood", weight=3];
123[label="(++) findIndices000 (Pos Zero) (primEqNat Zero wy40000) wy5",fontsize=16,color="burlywood",shape="box"];768[label="wy40000/Succ wy400000",fontsize=10,color="white",style="solid",shape="box"];123 -> 768[label="",style="solid", color="burlywood", weight=9];
768 -> 134[label="",style="solid", color="burlywood", weight=3];
769[label="wy40000/Zero",fontsize=10,color="white",style="solid",shape="box"];123 -> 769[label="",style="solid", color="burlywood", weight=9];
769 -> 135[label="",style="solid", color="burlywood", weight=3];
81[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];81 -> 97[label="",style="solid", color="black", weight=3];
82[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];82 -> 98[label="",style="solid", color="black", weight=3];
570[label="wy15",fontsize=16,color="green",shape="box"];575[label="Zero",fontsize=16,color="green",shape="box"];576[label="wy41",fontsize=16,color="green",shape="box"];574[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos wy18 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];770[label="wy4111/wy41110 : wy41111",fontsize=10,color="white",style="solid",shape="box"];574 -> 770[label="",style="solid", color="burlywood", weight=9];
770 -> 589[label="",style="solid", color="burlywood", weight=3];
771[label="wy4111/[]",fontsize=10,color="white",style="solid",shape="box"];574 -> 771[label="",style="solid", color="burlywood", weight=9];
771 -> 590[label="",style="solid", color="burlywood", weight=3];
577[label="Zero",fontsize=16,color="green",shape="box"];578[label="wy41",fontsize=16,color="green",shape="box"];571[label="(++) (Pos wy17 : []) wy15",fontsize=16,color="black",shape="box"];571 -> 591[label="",style="solid", color="black", weight=3];
579[label="Zero",fontsize=16,color="green",shape="box"];580[label="wy41",fontsize=16,color="green",shape="box"];581[label="Zero",fontsize=16,color="green",shape="box"];582[label="wy41",fontsize=16,color="green",shape="box"];85[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];85 -> 102[label="",style="solid", color="black", weight=3];
86[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];86 -> 103[label="",style="solid", color="black", weight=3];
593[label="Zero",fontsize=16,color="green",shape="box"];594[label="wy41",fontsize=16,color="green",shape="box"];592[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos wy19 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];772[label="wy4111/wy41110 : wy41111",fontsize=10,color="white",style="solid",shape="box"];592 -> 772[label="",style="solid", color="burlywood", weight=9];
772 -> 607[label="",style="solid", color="burlywood", weight=3];
773[label="wy4111/[]",fontsize=10,color="white",style="solid",shape="box"];592 -> 773[label="",style="solid", color="burlywood", weight=9];
773 -> 608[label="",style="solid", color="burlywood", weight=3];
595[label="Zero",fontsize=16,color="green",shape="box"];596[label="wy41",fontsize=16,color="green",shape="box"];597[label="Zero",fontsize=16,color="green",shape="box"];598[label="wy41",fontsize=16,color="green",shape="box"];599[label="Zero",fontsize=16,color="green",shape="box"];600[label="wy41",fontsize=16,color="green",shape="box"];132[label="(++) findIndices000 (Pos Zero) (primEqNat (Succ wy30000) (Succ wy400000)) wy5",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3];
133[label="(++) findIndices000 (Pos Zero) (primEqNat (Succ wy30000) Zero) wy5",fontsize=16,color="black",shape="box"];133 -> 143[label="",style="solid", color="black", weight=3];
134[label="(++) findIndices000 (Pos Zero) (primEqNat Zero (Succ wy400000)) wy5",fontsize=16,color="black",shape="box"];134 -> 144[label="",style="solid", color="black", weight=3];
135[label="(++) findIndices000 (Pos Zero) (primEqNat Zero Zero) wy5",fontsize=16,color="black",shape="box"];135 -> 145[label="",style="solid", color="black", weight=3];
97[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];97 -> 124[label="",style="solid", color="black", weight=3];
98[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) [])",fontsize=16,color="black",shape="triangle"];98 -> 125[label="",style="solid", color="black", weight=3];
589[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom $! Pos wy18 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];589 -> 609[label="",style="solid", color="black", weight=3];
590[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 [] (numericEnumFrom $! Pos wy18 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];590 -> 610[label="",style="solid", color="black", weight=3];
591[label="Pos wy17 : [] ++ wy15",fontsize=16,color="green",shape="box"];591 -> 611[label="",style="dashed", color="green", weight=3];
102[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];102 -> 128[label="",style="solid", color="black", weight=3];
103[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) [])",fontsize=16,color="black",shape="triangle"];103 -> 129[label="",style="solid", color="black", weight=3];
607[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom $! Pos wy19 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];607 -> 618[label="",style="solid", color="black", weight=3];
608[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 [] (numericEnumFrom $! Pos wy19 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];608 -> 619[label="",style="solid", color="black", weight=3];
142 -> 111[label="",style="dashed", color="red", weight=0];
142[label="(++) findIndices000 (Pos Zero) (primEqNat wy30000 wy400000) wy5",fontsize=16,color="magenta"];142 -> 150[label="",style="dashed", color="magenta", weight=3];
142 -> 151[label="",style="dashed", color="magenta", weight=3];
143 -> 506[label="",style="dashed", color="red", weight=0];
143[label="(++) findIndices000 (Pos Zero) False wy5",fontsize=16,color="magenta"];143 -> 523[label="",style="dashed", color="magenta", weight=3];
143 -> 524[label="",style="dashed", color="magenta", weight=3];
144 -> 506[label="",style="dashed", color="red", weight=0];
144[label="(++) findIndices000 (Pos Zero) False wy5",fontsize=16,color="magenta"];144 -> 525[label="",style="dashed", color="magenta", weight=3];
144 -> 526[label="",style="dashed", color="magenta", weight=3];
145 -> 550[label="",style="dashed", color="red", weight=0];
145[label="(++) findIndices000 (Pos Zero) True wy5",fontsize=16,color="magenta"];145 -> 559[label="",style="dashed", color="magenta", weight=3];
145 -> 560[label="",style="dashed", color="magenta", weight=3];
124[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (enforceWHNF (WHNF (Pos Zero + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];124 -> 136[label="",style="solid", color="black", weight=3];
125 -> 16[label="",style="dashed", color="red", weight=0];
125[label="foldr (++) [] []",fontsize=16,color="magenta"];609[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (Pos wy18 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos wy18 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];609 -> 620[label="",style="solid", color="black", weight=3];
610[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) [])",fontsize=16,color="black",shape="box"];610 -> 621[label="",style="solid", color="black", weight=3];
611 -> 545[label="",style="dashed", color="red", weight=0];
611[label="[] ++ wy15",fontsize=16,color="magenta"];128 -> 301[label="",style="dashed", color="red", weight=0];
128[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (enforceWHNF (WHNF (Pos Zero + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="magenta"];128 -> 302[label="",style="dashed", color="magenta", weight=3];
128 -> 303[label="",style="dashed", color="magenta", weight=3];
128 -> 304[label="",style="dashed", color="magenta", weight=3];
128 -> 305[label="",style="dashed", color="magenta", weight=3];
129 -> 16[label="",style="dashed", color="red", weight=0];
129[label="foldr (++) [] []",fontsize=16,color="magenta"];618[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (Pos wy19 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos wy19 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];618 -> 624[label="",style="solid", color="black", weight=3];
619[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) [])",fontsize=16,color="black",shape="box"];619 -> 625[label="",style="solid", color="black", weight=3];
150[label="wy400000",fontsize=16,color="green",shape="box"];151[label="wy30000",fontsize=16,color="green",shape="box"];523[label="wy5",fontsize=16,color="green",shape="box"];524[label="Zero",fontsize=16,color="green",shape="box"];525[label="wy5",fontsize=16,color="green",shape="box"];526[label="Zero",fontsize=16,color="green",shape="box"];559[label="Zero",fontsize=16,color="green",shape="box"];560[label="wy5",fontsize=16,color="green",shape="box"];136 -> 316[label="",style="dashed", color="red", weight=0];
136[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy410 : wy411) (enforceWHNF (WHNF (primPlusInt (Pos Zero) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos Zero) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="magenta"];136 -> 317[label="",style="dashed", color="magenta", weight=3];
136 -> 318[label="",style="dashed", color="magenta", weight=3];
136 -> 319[label="",style="dashed", color="magenta", weight=3];
136 -> 320[label="",style="dashed", color="magenta", weight=3];
620[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos wy18 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos wy18 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];620 -> 626[label="",style="solid", color="black", weight=3];
621 -> 16[label="",style="dashed", color="red", weight=0];
621[label="foldr (++) [] []",fontsize=16,color="magenta"];302[label="wy410",fontsize=16,color="green",shape="box"];303[label="Zero",fontsize=16,color="green",shape="box"];304[label="Zero",fontsize=16,color="green",shape="box"];305[label="wy411",fontsize=16,color="green",shape="box"];301[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (Pos wy8 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos wy7 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="triangle"];301 -> 308[label="",style="solid", color="black", weight=3];
624[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos wy19 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos wy19 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];624 -> 629[label="",style="solid", color="black", weight=3];
625 -> 16[label="",style="dashed", color="red", weight=0];
625[label="foldr (++) [] []",fontsize=16,color="magenta"];317[label="wy410",fontsize=16,color="green",shape="box"];318[label="Zero",fontsize=16,color="green",shape="box"];319[label="Zero",fontsize=16,color="green",shape="box"];320[label="wy411",fontsize=16,color="green",shape="box"];316[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (primPlusInt (Pos wy10) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos wy9) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="triangle"];316 -> 323[label="",style="solid", color="black", weight=3];
626[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (primPlusInt (Pos wy18) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos wy18) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];626 -> 630[label="",style="solid", color="black", weight=3];
308[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (primPlusInt (Pos wy8) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos wy7) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];308 -> 324[label="",style="solid", color="black", weight=3];
629[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (primPlusInt (Pos wy19) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos wy19) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];629 -> 631[label="",style="solid", color="black", weight=3];
323[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (primPlusInt (Pos wy10) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos wy9) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];323 -> 333[label="",style="solid", color="black", weight=3];
630[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (primPlusInt (Pos wy18) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos wy18) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];630 -> 632[label="",style="solid", color="black", weight=3];
324[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (primPlusInt (Pos wy8) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos wy7) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];324 -> 334[label="",style="solid", color="black", weight=3];
631[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (primPlusInt (Pos wy19) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos wy19) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];631 -> 633[label="",style="solid", color="black", weight=3];
333[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (Pos (primPlusNat wy10 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy10 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];333 -> 344[label="",style="solid", color="black", weight=3];
632 -> 634[label="",style="dashed", color="red", weight=0];
632[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos (primPlusNat wy18 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy18 (Succ Zero)))))))",fontsize=16,color="magenta"];632 -> 635[label="",style="dashed", color="magenta", weight=3];
632 -> 636[label="",style="dashed", color="magenta", weight=3];
334[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (enforceWHNF (WHNF (Pos (primPlusNat wy8 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy8 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];334 -> 345[label="",style="solid", color="black", weight=3];
633 -> 637[label="",style="dashed", color="red", weight=0];
633[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos (primPlusNat wy19 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy19 (Succ Zero)))))))",fontsize=16,color="magenta"];633 -> 638[label="",style="dashed", color="magenta", weight=3];
633 -> 639[label="",style="dashed", color="magenta", weight=3];
344[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (numericEnumFrom (Pos (primPlusNat wy10 (Succ Zero))))))",fontsize=16,color="black",shape="box"];344 -> 348[label="",style="solid", color="black", weight=3];
635 -> 478[label="",style="dashed", color="red", weight=0];
635[label="primPlusNat wy18 (Succ Zero)",fontsize=16,color="magenta"];635 -> 640[label="",style="dashed", color="magenta", weight=3];
636 -> 478[label="",style="dashed", color="red", weight=0];
636[label="primPlusNat wy18 (Succ Zero)",fontsize=16,color="magenta"];636 -> 641[label="",style="dashed", color="magenta", weight=3];
634[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos wy21)) (numericEnumFrom (Pos wy20)))))",fontsize=16,color="black",shape="triangle"];634 -> 642[label="",style="solid", color="black", weight=3];
345[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (numericEnumFrom (Pos (primPlusNat wy8 (Succ Zero))))))",fontsize=16,color="black",shape="box"];345 -> 349[label="",style="solid", color="black", weight=3];
638 -> 478[label="",style="dashed", color="red", weight=0];
638[label="primPlusNat wy19 (Succ Zero)",fontsize=16,color="magenta"];638 -> 643[label="",style="dashed", color="magenta", weight=3];
639 -> 478[label="",style="dashed", color="red", weight=0];
639[label="primPlusNat wy19 (Succ Zero)",fontsize=16,color="magenta"];639 -> 644[label="",style="dashed", color="magenta", weight=3];
637[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos wy23)) (numericEnumFrom (Pos wy22)))))",fontsize=16,color="black",shape="triangle"];637 -> 645[label="",style="solid", color="black", weight=3];
348[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (Pos (primPlusNat wy10 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];348 -> 352[label="",style="solid", color="black", weight=3];
640[label="wy18",fontsize=16,color="green",shape="box"];478[label="primPlusNat wy11 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];791[label="wy11/Succ wy110",fontsize=10,color="white",style="solid",shape="box"];478 -> 791[label="",style="solid", color="burlywood", weight=9];
791 -> 495[label="",style="solid", color="burlywood", weight=3];
792[label="wy11/Zero",fontsize=10,color="white",style="solid",shape="box"];478 -> 792[label="",style="solid", color="burlywood", weight=9];
792 -> 496[label="",style="solid", color="burlywood", weight=3];
641[label="wy18",fontsize=16,color="green",shape="box"];642[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom (Pos wy20))))",fontsize=16,color="black",shape="box"];642 -> 646[label="",style="solid", color="black", weight=3];
349[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy4110 : wy4111) (Pos (primPlusNat wy8 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];349 -> 353[label="",style="solid", color="black", weight=3];
643[label="wy19",fontsize=16,color="green",shape="box"];644[label="wy19",fontsize=16,color="green",shape="box"];645[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom (Pos wy22))))",fontsize=16,color="black",shape="box"];645 -> 647[label="",style="solid", color="black", weight=3];
352[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zip0 wy4110 (Pos (primPlusNat wy10 (Succ Zero))) : zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];352 -> 356[label="",style="solid", color="black", weight=3];
495[label="primPlusNat (Succ wy110) (Succ Zero)",fontsize=16,color="black",shape="box"];495 -> 572[label="",style="solid", color="black", weight=3];
496[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];496 -> 573[label="",style="solid", color="black", weight=3];
646[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 (wy41110 : wy41111) (Pos wy20 : (numericEnumFrom $! Pos wy20 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];646 -> 648[label="",style="solid", color="black", weight=3];
353[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zip0 wy4110 (Pos (primPlusNat wy8 (Succ Zero))) : zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];353 -> 357[label="",style="solid", color="black", weight=3];
647[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 (wy41110 : wy41111) (Pos wy22 : (numericEnumFrom $! Pos wy22 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];647 -> 649[label="",style="solid", color="black", weight=3];
356[label="foldr (++) [] (findIndices0 (primEqInt (Pos (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy10 (Succ Zero)))) : map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];356 -> 360[label="",style="solid", color="black", weight=3];
572[label="Succ (Succ (primPlusNat wy110 Zero))",fontsize=16,color="green",shape="box"];572 -> 612[label="",style="dashed", color="green", weight=3];
573[label="Succ Zero",fontsize=16,color="green",shape="box"];648[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zip0 wy41110 (Pos wy20) : zipWith zip0 wy41111 (numericEnumFrom $! Pos wy20 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];648 -> 650[label="",style="solid", color="black", weight=3];
357[label="foldr (++) [] (findIndices0 (primEqInt (Neg (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy8 (Succ Zero)))) : map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];357 -> 361[label="",style="solid", color="black", weight=3];
649[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zip0 wy41110 (Pos wy22) : zipWith zip0 wy41111 (numericEnumFrom $! Pos wy22 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];649 -> 651[label="",style="solid", color="black", weight=3];
360[label="(++) findIndices0 (primEqInt (Pos (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy10 (Succ Zero)))) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];360 -> 364[label="",style="solid", color="black", weight=3];
612[label="primPlusNat wy110 Zero",fontsize=16,color="burlywood",shape="box"];793[label="wy110/Succ wy1100",fontsize=10,color="white",style="solid",shape="box"];612 -> 793[label="",style="solid", color="burlywood", weight=9];
793 -> 622[label="",style="solid", color="burlywood", weight=3];
794[label="wy110/Zero",fontsize=10,color="white",style="solid",shape="box"];612 -> 794[label="",style="solid", color="burlywood", weight=9];
794 -> 623[label="",style="solid", color="burlywood", weight=3];
650[label="foldr (++) [] (findIndices0 (primEqInt (Pos Zero)) (zip0 wy41110 (Pos wy20)) : map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy20 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];650 -> 652[label="",style="solid", color="black", weight=3];
361[label="(++) findIndices0 (primEqInt (Neg (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy8 (Succ Zero)))) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];361 -> 365[label="",style="solid", color="black", weight=3];
651[label="foldr (++) [] (findIndices0 (primEqInt (Neg Zero)) (zip0 wy41110 (Pos wy22)) : map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy22 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];651 -> 653[label="",style="solid", color="black", weight=3];
364[label="(++) findIndices00 (primEqInt (Pos (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy10 (Succ Zero)))) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];364 -> 368[label="",style="solid", color="black", weight=3];
622[label="primPlusNat (Succ wy1100) Zero",fontsize=16,color="black",shape="box"];622 -> 627[label="",style="solid", color="black", weight=3];
623[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];623 -> 628[label="",style="solid", color="black", weight=3];
652 -> 654[label="",style="dashed", color="red", weight=0];
652[label="(++) findIndices0 (primEqInt (Pos Zero)) (zip0 wy41110 (Pos wy20)) foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy20 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];652 -> 655[label="",style="dashed", color="magenta", weight=3];
365[label="(++) findIndices00 (primEqInt (Neg (Succ wy300))) (zip0 wy4110 (Pos (primPlusNat wy8 (Succ Zero)))) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];365 -> 369[label="",style="solid", color="black", weight=3];
653 -> 656[label="",style="dashed", color="red", weight=0];
653[label="(++) findIndices0 (primEqInt (Neg Zero)) (zip0 wy41110 (Pos wy22)) foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy22 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];653 -> 657[label="",style="dashed", color="magenta", weight=3];
368[label="(++) findIndices00 (primEqInt (Pos (Succ wy300))) (wy4110,Pos (primPlusNat wy10 (Succ Zero))) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];368 -> 372[label="",style="solid", color="black", weight=3];
627[label="Succ wy1100",fontsize=16,color="green",shape="box"];628[label="Zero",fontsize=16,color="green",shape="box"];655 -> 574[label="",style="dashed", color="red", weight=0];
655[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy20 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];655 -> 658[label="",style="dashed", color="magenta", weight=3];
655 -> 659[label="",style="dashed", color="magenta", weight=3];
654[label="(++) findIndices0 (primEqInt (Pos Zero)) (zip0 wy41110 (Pos wy20)) wy24",fontsize=16,color="black",shape="triangle"];654 -> 660[label="",style="solid", color="black", weight=3];
369[label="(++) findIndices00 (primEqInt (Neg (Succ wy300))) (wy4110,Pos (primPlusNat wy8 (Succ Zero))) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];369 -> 373[label="",style="solid", color="black", weight=3];
657 -> 592[label="",style="dashed", color="red", weight=0];
657[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg Zero))) (zipWith zip0 wy41111 (numericEnumFrom $! Pos wy22 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];657 -> 661[label="",style="dashed", color="magenta", weight=3];
657 -> 662[label="",style="dashed", color="magenta", weight=3];
656[label="(++) findIndices0 (primEqInt (Neg Zero)) (zip0 wy41110 (Pos wy22)) wy25",fontsize=16,color="black",shape="triangle"];656 -> 663[label="",style="solid", color="black", weight=3];
372[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqInt (Pos (Succ wy300)) wy4110) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];799[label="wy4110/Pos wy41100",fontsize=10,color="white",style="solid",shape="box"];372 -> 799[label="",style="solid", color="burlywood", weight=9];
799 -> 376[label="",style="solid", color="burlywood", weight=3];
800[label="wy4110/Neg wy41100",fontsize=10,color="white",style="solid",shape="box"];372 -> 800[label="",style="solid", color="burlywood", weight=9];
800 -> 377[label="",style="solid", color="burlywood", weight=3];
658[label="wy20",fontsize=16,color="green",shape="box"];659[label="wy41111",fontsize=16,color="green",shape="box"];660[label="(++) findIndices00 (primEqInt (Pos Zero)) (zip0 wy41110 (Pos wy20)) wy24",fontsize=16,color="black",shape="box"];660 -> 664[label="",style="solid", color="black", weight=3];
373[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqInt (Neg (Succ wy300)) wy4110) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];801[label="wy4110/Pos wy41100",fontsize=10,color="white",style="solid",shape="box"];373 -> 801[label="",style="solid", color="burlywood", weight=9];
801 -> 378[label="",style="solid", color="burlywood", weight=3];
802[label="wy4110/Neg wy41100",fontsize=10,color="white",style="solid",shape="box"];373 -> 802[label="",style="solid", color="burlywood", weight=9];
802 -> 379[label="",style="solid", color="burlywood", weight=3];
661[label="wy22",fontsize=16,color="green",shape="box"];662[label="wy41111",fontsize=16,color="green",shape="box"];663[label="(++) findIndices00 (primEqInt (Neg Zero)) (zip0 wy41110 (Pos wy22)) wy25",fontsize=16,color="black",shape="box"];663 -> 665[label="",style="solid", color="black", weight=3];
376[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqInt (Pos (Succ wy300)) (Pos wy41100)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];803[label="wy41100/Succ wy411000",fontsize=10,color="white",style="solid",shape="box"];376 -> 803[label="",style="solid", color="burlywood", weight=9];
803 -> 382[label="",style="solid", color="burlywood", weight=3];
804[label="wy41100/Zero",fontsize=10,color="white",style="solid",shape="box"];376 -> 804[label="",style="solid", color="burlywood", weight=9];
804 -> 383[label="",style="solid", color="burlywood", weight=3];
377[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqInt (Pos (Succ wy300)) (Neg wy41100)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];377 -> 384[label="",style="solid", color="black", weight=3];
664[label="(++) findIndices00 (primEqInt (Pos Zero)) (wy41110,Pos wy20) wy24",fontsize=16,color="black",shape="box"];664 -> 666[label="",style="solid", color="black", weight=3];
378[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqInt (Neg (Succ wy300)) (Pos wy41100)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];378 -> 385[label="",style="solid", color="black", weight=3];
379[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqInt (Neg (Succ wy300)) (Neg wy41100)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];805[label="wy41100/Succ wy411000",fontsize=10,color="white",style="solid",shape="box"];379 -> 805[label="",style="solid", color="burlywood", weight=9];
805 -> 386[label="",style="solid", color="burlywood", weight=3];
806[label="wy41100/Zero",fontsize=10,color="white",style="solid",shape="box"];379 -> 806[label="",style="solid", color="burlywood", weight=9];
806 -> 387[label="",style="solid", color="burlywood", weight=3];
665[label="(++) findIndices00 (primEqInt (Neg Zero)) (wy41110,Pos wy22) wy25",fontsize=16,color="black",shape="box"];665 -> 667[label="",style="solid", color="black", weight=3];
382[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqInt (Pos (Succ wy300)) (Pos (Succ wy411000))) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];382 -> 390[label="",style="solid", color="black", weight=3];
383[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqInt (Pos (Succ wy300)) (Pos Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];383 -> 391[label="",style="solid", color="black", weight=3];
384 -> 506[label="",style="dashed", color="red", weight=0];
384[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) False foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];384 -> 527[label="",style="dashed", color="magenta", weight=3];
384 -> 528[label="",style="dashed", color="magenta", weight=3];
666[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) wy41110) wy24",fontsize=16,color="burlywood",shape="box"];808[label="wy41110/Pos wy411100",fontsize=10,color="white",style="solid",shape="box"];666 -> 808[label="",style="solid", color="burlywood", weight=9];
808 -> 668[label="",style="solid", color="burlywood", weight=3];
809[label="wy41110/Neg wy411100",fontsize=10,color="white",style="solid",shape="box"];666 -> 809[label="",style="solid", color="burlywood", weight=9];
809 -> 669[label="",style="solid", color="burlywood", weight=3];
385 -> 506[label="",style="dashed", color="red", weight=0];
385[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) False foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];385 -> 529[label="",style="dashed", color="magenta", weight=3];
385 -> 530[label="",style="dashed", color="magenta", weight=3];
386[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqInt (Neg (Succ wy300)) (Neg (Succ wy411000))) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];386 -> 394[label="",style="solid", color="black", weight=3];
387[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqInt (Neg (Succ wy300)) (Neg Zero)) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];387 -> 395[label="",style="solid", color="black", weight=3];
667[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) wy41110) wy25",fontsize=16,color="burlywood",shape="box"];811[label="wy41110/Pos wy411100",fontsize=10,color="white",style="solid",shape="box"];667 -> 811[label="",style="solid", color="burlywood", weight=9];
811 -> 670[label="",style="solid", color="burlywood", weight=3];
812[label="wy41110/Neg wy411100",fontsize=10,color="white",style="solid",shape="box"];667 -> 812[label="",style="solid", color="burlywood", weight=9];
812 -> 671[label="",style="solid", color="burlywood", weight=3];
390 -> 449[label="",style="dashed", color="red", weight=0];
390[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat wy300 wy411000) foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];390 -> 450[label="",style="dashed", color="magenta", weight=3];
390 -> 451[label="",style="dashed", color="magenta", weight=3];
390 -> 452[label="",style="dashed", color="magenta", weight=3];
391 -> 506[label="",style="dashed", color="red", weight=0];
391[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) False foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];391 -> 531[label="",style="dashed", color="magenta", weight=3];
391 -> 532[label="",style="dashed", color="magenta", weight=3];
527 -> 401[label="",style="dashed", color="red", weight=0];
527[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];528 -> 478[label="",style="dashed", color="red", weight=0];
528[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];528 -> 546[label="",style="dashed", color="magenta", weight=3];
668[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Pos wy411100)) wy24",fontsize=16,color="burlywood",shape="box"];817[label="wy411100/Succ wy4111000",fontsize=10,color="white",style="solid",shape="box"];668 -> 817[label="",style="solid", color="burlywood", weight=9];
817 -> 672[label="",style="solid", color="burlywood", weight=3];
818[label="wy411100/Zero",fontsize=10,color="white",style="solid",shape="box"];668 -> 818[label="",style="solid", color="burlywood", weight=9];
818 -> 673[label="",style="solid", color="burlywood", weight=3];
669[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Neg wy411100)) wy24",fontsize=16,color="burlywood",shape="box"];819[label="wy411100/Succ wy4111000",fontsize=10,color="white",style="solid",shape="box"];669 -> 819[label="",style="solid", color="burlywood", weight=9];
819 -> 674[label="",style="solid", color="burlywood", weight=3];
820[label="wy411100/Zero",fontsize=10,color="white",style="solid",shape="box"];669 -> 820[label="",style="solid", color="burlywood", weight=9];
820 -> 675[label="",style="solid", color="burlywood", weight=3];
529 -> 402[label="",style="dashed", color="red", weight=0];
529[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];530 -> 478[label="",style="dashed", color="red", weight=0];
530[label="primPlusNat wy8 (Succ Zero)",fontsize=16,color="magenta"];530 -> 547[label="",style="dashed", color="magenta", weight=3];
394 -> 449[label="",style="dashed", color="red", weight=0];
394[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) (primEqNat wy300 wy411000) foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];394 -> 453[label="",style="dashed", color="magenta", weight=3];
394 -> 454[label="",style="dashed", color="magenta", weight=3];
394 -> 455[label="",style="dashed", color="magenta", weight=3];
394 -> 456[label="",style="dashed", color="magenta", weight=3];
395 -> 506[label="",style="dashed", color="red", weight=0];
395[label="(++) findIndices000 (Pos (primPlusNat wy8 (Succ Zero))) False foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];395 -> 533[label="",style="dashed", color="magenta", weight=3];
395 -> 534[label="",style="dashed", color="magenta", weight=3];
670[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Pos wy411100)) wy25",fontsize=16,color="burlywood",shape="box"];825[label="wy411100/Succ wy4111000",fontsize=10,color="white",style="solid",shape="box"];670 -> 825[label="",style="solid", color="burlywood", weight=9];
825 -> 676[label="",style="solid", color="burlywood", weight=3];
826[label="wy411100/Zero",fontsize=10,color="white",style="solid",shape="box"];670 -> 826[label="",style="solid", color="burlywood", weight=9];
826 -> 677[label="",style="solid", color="burlywood", weight=3];
671[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Neg wy411100)) wy25",fontsize=16,color="burlywood",shape="box"];827[label="wy411100/Succ wy4111000",fontsize=10,color="white",style="solid",shape="box"];671 -> 827[label="",style="solid", color="burlywood", weight=9];
827 -> 678[label="",style="solid", color="burlywood", weight=3];
828[label="wy411100/Zero",fontsize=10,color="white",style="solid",shape="box"];671 -> 828[label="",style="solid", color="burlywood", weight=9];
828 -> 679[label="",style="solid", color="burlywood", weight=3];
450[label="wy411000",fontsize=16,color="green",shape="box"];451[label="wy300",fontsize=16,color="green",shape="box"];452 -> 401[label="",style="dashed", color="red", weight=0];
452[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];449[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat wy3000 wy4110000) wy15",fontsize=16,color="burlywood",shape="triangle"];830[label="wy3000/Succ wy30000",fontsize=10,color="white",style="solid",shape="box"];449 -> 830[label="",style="solid", color="burlywood", weight=9];
830 -> 462[label="",style="solid", color="burlywood", weight=3];
831[label="wy3000/Zero",fontsize=10,color="white",style="solid",shape="box"];449 -> 831[label="",style="solid", color="burlywood", weight=9];
831 -> 463[label="",style="solid", color="burlywood", weight=3];
531 -> 401[label="",style="dashed", color="red", weight=0];
531[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];532 -> 478[label="",style="dashed", color="red", weight=0];
532[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];532 -> 548[label="",style="dashed", color="magenta", weight=3];
401[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];834[label="wy4111/wy41110 : wy41111",fontsize=10,color="white",style="solid",shape="box"];401 -> 834[label="",style="solid", color="burlywood", weight=9];
834 -> 415[label="",style="solid", color="burlywood", weight=3];
835[label="wy4111/[]",fontsize=10,color="white",style="solid",shape="box"];401 -> 835[label="",style="solid", color="burlywood", weight=9];
835 -> 416[label="",style="solid", color="burlywood", weight=3];
546[label="wy10",fontsize=16,color="green",shape="box"];672[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Pos (Succ wy4111000))) wy24",fontsize=16,color="black",shape="box"];672 -> 680[label="",style="solid", color="black", weight=3];
673[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Pos Zero)) wy24",fontsize=16,color="black",shape="box"];673 -> 681[label="",style="solid", color="black", weight=3];
674[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Neg (Succ wy4111000))) wy24",fontsize=16,color="black",shape="box"];674 -> 682[label="",style="solid", color="black", weight=3];
675[label="(++) findIndices000 (Pos wy20) (primEqInt (Pos Zero) (Neg Zero)) wy24",fontsize=16,color="black",shape="box"];675 -> 683[label="",style="solid", color="black", weight=3];
402[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];836[label="wy4111/wy41110 : wy41111",fontsize=10,color="white",style="solid",shape="box"];402 -> 836[label="",style="solid", color="burlywood", weight=9];
836 -> 417[label="",style="solid", color="burlywood", weight=3];
837[label="wy4111/[]",fontsize=10,color="white",style="solid",shape="box"];402 -> 837[label="",style="solid", color="burlywood", weight=9];
837 -> 418[label="",style="solid", color="burlywood", weight=3];
547[label="wy8",fontsize=16,color="green",shape="box"];453[label="wy8",fontsize=16,color="green",shape="box"];454[label="wy411000",fontsize=16,color="green",shape="box"];455[label="wy300",fontsize=16,color="green",shape="box"];456 -> 402[label="",style="dashed", color="red", weight=0];
456[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];533 -> 402[label="",style="dashed", color="red", weight=0];
533[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 wy4111 (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];534 -> 478[label="",style="dashed", color="red", weight=0];
534[label="primPlusNat wy8 (Succ Zero)",fontsize=16,color="magenta"];534 -> 549[label="",style="dashed", color="magenta", weight=3];
676[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Pos (Succ wy4111000))) wy25",fontsize=16,color="black",shape="box"];676 -> 684[label="",style="solid", color="black", weight=3];
677[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Pos Zero)) wy25",fontsize=16,color="black",shape="box"];677 -> 685[label="",style="solid", color="black", weight=3];
678[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Neg (Succ wy4111000))) wy25",fontsize=16,color="black",shape="box"];678 -> 686[label="",style="solid", color="black", weight=3];
679[label="(++) findIndices000 (Pos wy22) (primEqInt (Neg Zero) (Neg Zero)) wy25",fontsize=16,color="black",shape="box"];679 -> 687[label="",style="solid", color="black", weight=3];
462[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat (Succ wy30000) wy4110000) wy15",fontsize=16,color="burlywood",shape="box"];841[label="wy4110000/Succ wy41100000",fontsize=10,color="white",style="solid",shape="box"];462 -> 841[label="",style="solid", color="burlywood", weight=9];
841 -> 470[label="",style="solid", color="burlywood", weight=3];
842[label="wy4110000/Zero",fontsize=10,color="white",style="solid",shape="box"];462 -> 842[label="",style="solid", color="burlywood", weight=9];
842 -> 471[label="",style="solid", color="burlywood", weight=3];
463[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat Zero wy4110000) wy15",fontsize=16,color="burlywood",shape="box"];843[label="wy4110000/Succ wy41100000",fontsize=10,color="white",style="solid",shape="box"];463 -> 843[label="",style="solid", color="burlywood", weight=9];
843 -> 472[label="",style="solid", color="burlywood", weight=3];
844[label="wy4110000/Zero",fontsize=10,color="white",style="solid",shape="box"];463 -> 844[label="",style="solid", color="burlywood", weight=9];
844 -> 473[label="",style="solid", color="burlywood", weight=3];
548[label="wy10",fontsize=16,color="green",shape="box"];415[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];415 -> 435[label="",style="solid", color="black", weight=3];
416[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 [] (numericEnumFrom $! Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];416 -> 436[label="",style="solid", color="black", weight=3];
680 -> 506[label="",style="dashed", color="red", weight=0];
680[label="(++) findIndices000 (Pos wy20) False wy24",fontsize=16,color="magenta"];680 -> 688[label="",style="dashed", color="magenta", weight=3];
680 -> 689[label="",style="dashed", color="magenta", weight=3];
681 -> 550[label="",style="dashed", color="red", weight=0];
681[label="(++) findIndices000 (Pos wy20) True wy24",fontsize=16,color="magenta"];681 -> 690[label="",style="dashed", color="magenta", weight=3];
681 -> 691[label="",style="dashed", color="magenta", weight=3];
682 -> 506[label="",style="dashed", color="red", weight=0];
682[label="(++) findIndices000 (Pos wy20) False wy24",fontsize=16,color="magenta"];682 -> 692[label="",style="dashed", color="magenta", weight=3];
682 -> 693[label="",style="dashed", color="magenta", weight=3];
683 -> 550[label="",style="dashed", color="red", weight=0];
683[label="(++) findIndices000 (Pos wy20) True wy24",fontsize=16,color="magenta"];683 -> 694[label="",style="dashed", color="magenta", weight=3];
683 -> 695[label="",style="dashed", color="magenta", weight=3];
417[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];417 -> 437[label="",style="solid", color="black", weight=3];
418[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 [] (numericEnumFrom $! Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];418 -> 438[label="",style="solid", color="black", weight=3];
549[label="wy8",fontsize=16,color="green",shape="box"];684 -> 506[label="",style="dashed", color="red", weight=0];
684[label="(++) findIndices000 (Pos wy22) False wy25",fontsize=16,color="magenta"];684 -> 696[label="",style="dashed", color="magenta", weight=3];
684 -> 697[label="",style="dashed", color="magenta", weight=3];
685 -> 550[label="",style="dashed", color="red", weight=0];
685[label="(++) findIndices000 (Pos wy22) True wy25",fontsize=16,color="magenta"];685 -> 698[label="",style="dashed", color="magenta", weight=3];
685 -> 699[label="",style="dashed", color="magenta", weight=3];
686 -> 506[label="",style="dashed", color="red", weight=0];
686[label="(++) findIndices000 (Pos wy22) False wy25",fontsize=16,color="magenta"];686 -> 700[label="",style="dashed", color="magenta", weight=3];
686 -> 701[label="",style="dashed", color="magenta", weight=3];
687 -> 550[label="",style="dashed", color="red", weight=0];
687[label="(++) findIndices000 (Pos wy22) True wy25",fontsize=16,color="magenta"];687 -> 702[label="",style="dashed", color="magenta", weight=3];
687 -> 703[label="",style="dashed", color="magenta", weight=3];
470[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat (Succ wy30000) (Succ wy41100000)) wy15",fontsize=16,color="black",shape="box"];470 -> 485[label="",style="solid", color="black", weight=3];
471[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat (Succ wy30000) Zero) wy15",fontsize=16,color="black",shape="box"];471 -> 486[label="",style="solid", color="black", weight=3];
472[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat Zero (Succ wy41100000)) wy15",fontsize=16,color="black",shape="box"];472 -> 487[label="",style="solid", color="black", weight=3];
473[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat Zero Zero) wy15",fontsize=16,color="black",shape="box"];473 -> 488[label="",style="solid", color="black", weight=3];
435[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];435 -> 468[label="",style="solid", color="black", weight=3];
436 -> 98[label="",style="dashed", color="red", weight=0];
436[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) [])",fontsize=16,color="magenta"];688[label="wy24",fontsize=16,color="green",shape="box"];689[label="wy20",fontsize=16,color="green",shape="box"];690[label="wy20",fontsize=16,color="green",shape="box"];691[label="wy24",fontsize=16,color="green",shape="box"];692[label="wy24",fontsize=16,color="green",shape="box"];693[label="wy20",fontsize=16,color="green",shape="box"];694[label="wy20",fontsize=16,color="green",shape="box"];695[label="wy24",fontsize=16,color="green",shape="box"];437[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];437 -> 469[label="",style="solid", color="black", weight=3];
438 -> 103[label="",style="dashed", color="red", weight=0];
438[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) [])",fontsize=16,color="magenta"];696[label="wy25",fontsize=16,color="green",shape="box"];697[label="wy22",fontsize=16,color="green",shape="box"];698[label="wy22",fontsize=16,color="green",shape="box"];699[label="wy25",fontsize=16,color="green",shape="box"];700[label="wy25",fontsize=16,color="green",shape="box"];701[label="wy22",fontsize=16,color="green",shape="box"];702[label="wy22",fontsize=16,color="green",shape="box"];703[label="wy25",fontsize=16,color="green",shape="box"];485 -> 449[label="",style="dashed", color="red", weight=0];
485[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) (primEqNat wy30000 wy41100000) wy15",fontsize=16,color="magenta"];485 -> 504[label="",style="dashed", color="magenta", weight=3];
485 -> 505[label="",style="dashed", color="magenta", weight=3];
486 -> 506[label="",style="dashed", color="red", weight=0];
486[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) False wy15",fontsize=16,color="magenta"];486 -> 543[label="",style="dashed", color="magenta", weight=3];
487 -> 506[label="",style="dashed", color="red", weight=0];
487[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) False wy15",fontsize=16,color="magenta"];487 -> 544[label="",style="dashed", color="magenta", weight=3];
488 -> 550[label="",style="dashed", color="red", weight=0];
488[label="(++) findIndices000 (Pos (primPlusNat wy10 (Succ Zero))) True wy15",fontsize=16,color="magenta"];488 -> 569[label="",style="dashed", color="magenta", weight=3];
468[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy10 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];468 -> 480[label="",style="solid", color="black", weight=3];
469 -> 301[label="",style="dashed", color="red", weight=0];
469[label="foldr (++) [] (map (findIndices0 (primEqInt (Neg (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat wy8 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="magenta"];469 -> 481[label="",style="dashed", color="magenta", weight=3];
469 -> 482[label="",style="dashed", color="magenta", weight=3];
469 -> 483[label="",style="dashed", color="magenta", weight=3];
469 -> 484[label="",style="dashed", color="magenta", weight=3];
504[label="wy41100000",fontsize=16,color="green",shape="box"];505[label="wy30000",fontsize=16,color="green",shape="box"];543 -> 478[label="",style="dashed", color="red", weight=0];
543[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];543 -> 613[label="",style="dashed", color="magenta", weight=3];
544 -> 478[label="",style="dashed", color="red", weight=0];
544[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];544 -> 614[label="",style="dashed", color="magenta", weight=3];
569 -> 478[label="",style="dashed", color="red", weight=0];
569[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];569 -> 615[label="",style="dashed", color="magenta", weight=3];
480 -> 316[label="",style="dashed", color="red", weight=0];
480[label="foldr (++) [] (map (findIndices0 (primEqInt (Pos (Succ wy300)))) (zipWith zip0 (wy41110 : wy41111) (enforceWHNF (WHNF (primPlusInt (Pos (primPlusNat wy10 (Succ Zero))) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos (primPlusNat wy10 (Succ Zero))) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="magenta"];480 -> 498[label="",style="dashed", color="magenta", weight=3];
480 -> 499[label="",style="dashed", color="magenta", weight=3];
480 -> 500[label="",style="dashed", color="magenta", weight=3];
480 -> 501[label="",style="dashed", color="magenta", weight=3];
481[label="wy41110",fontsize=16,color="green",shape="box"];482 -> 478[label="",style="dashed", color="red", weight=0];
482[label="primPlusNat wy8 (Succ Zero)",fontsize=16,color="magenta"];482 -> 502[label="",style="dashed", color="magenta", weight=3];
483 -> 478[label="",style="dashed", color="red", weight=0];
483[label="primPlusNat wy8 (Succ Zero)",fontsize=16,color="magenta"];483 -> 503[label="",style="dashed", color="magenta", weight=3];
484[label="wy41111",fontsize=16,color="green",shape="box"];613[label="wy10",fontsize=16,color="green",shape="box"];614[label="wy10",fontsize=16,color="green",shape="box"];615[label="wy10",fontsize=16,color="green",shape="box"];498[label="wy41110",fontsize=16,color="green",shape="box"];499 -> 478[label="",style="dashed", color="red", weight=0];
499[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];499 -> 616[label="",style="dashed", color="magenta", weight=3];
500 -> 478[label="",style="dashed", color="red", weight=0];
500[label="primPlusNat wy10 (Succ Zero)",fontsize=16,color="magenta"];500 -> 617[label="",style="dashed", color="magenta", weight=3];
501[label="wy41111",fontsize=16,color="green",shape="box"];502[label="wy8",fontsize=16,color="green",shape="box"];503[label="wy8",fontsize=16,color="green",shape="box"];616[label="wy10",fontsize=16,color="green",shape="box"];617[label="wy10",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldr0(wy41110, wy41111, wy23, wy22) → new_foldr(wy41111, wy22)
new_foldr(:(wy41110, wy41111), wy19) → new_foldr0(wy41110, wy41111, new_primPlusNat(wy19), new_primPlusNat(wy19))

The TRS R consists of the following rules:

new_primPlusNat(Zero) → Succ(Zero)
new_primPlusNat0(Succ(wy1100)) → Succ(wy1100)
new_primPlusNat(Succ(wy110)) → Succ(Succ(new_primPlusNat0(wy110)))
new_primPlusNat0(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat0(Succ(x0))
new_primPlusNat(Zero)
new_primPlusNat0(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr(:(wy41110, wy41111), wy19) → new_foldr0(wy41110, wy41111, new_primPlusNat(wy19), new_primPlusNat(wy19))
The graph contains the following edges 1 > 1, 1 > 2
new_foldr0(wy41110, wy41111, wy23, wy22) → new_foldr(wy41111, wy22)
The graph contains the following edges 2 >= 1, 4 >= 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldr1(:(wy41110, wy41111), wy18) → new_foldr2(wy41110, wy41111, new_primPlusNat(wy18), new_primPlusNat(wy18))
new_foldr2(wy41110, wy41111, wy21, wy20) → new_foldr1(wy41111, wy20)

The TRS R consists of the following rules:

new_primPlusNat(Zero) → Succ(Zero)
new_primPlusNat0(Succ(wy1100)) → Succ(wy1100)
new_primPlusNat(Succ(wy110)) → Succ(Succ(new_primPlusNat0(wy110)))
new_primPlusNat0(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat0(Succ(x0))
new_primPlusNat(Zero)
new_primPlusNat0(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr2(wy41110, wy41111, wy21, wy20) → new_foldr1(wy41111, wy20)
The graph contains the following edges 2 >= 1, 4 >= 2
new_foldr1(:(wy41110, wy41111), wy18) → new_foldr2(wy41110, wy41111, new_primPlusNat(wy18), new_primPlusNat(wy18))
The graph contains the following edges 1 > 1, 1 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_psPs(wy10, Succ(wy30000), Succ(wy41100000), wy15) → new_psPs(wy10, wy30000, wy41100000, wy15)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_psPs(wy10, Succ(wy30000), Succ(wy41100000), wy15) → new_psPs(wy10, wy30000, wy41100000, wy15)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldr4(wy300, Neg(Zero), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)
new_foldr4(wy300, Neg(Succ(wy411000)), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)
new_foldr3(wy300, :(wy41110, wy41111), wy8) → new_foldr4(wy300, wy41110, wy41111, new_primPlusNat(wy8), new_primPlusNat(wy8))
new_foldr4(wy300, Pos(wy41100), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)

The TRS R consists of the following rules:

new_primPlusNat(Zero) → Succ(Zero)
new_primPlusNat0(Succ(wy1100)) → Succ(wy1100)
new_primPlusNat(Succ(wy110)) → Succ(Succ(new_primPlusNat0(wy110)))
new_primPlusNat0(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat0(Succ(x0))
new_primPlusNat(Zero)
new_primPlusNat0(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr3(wy300, :(wy41110, wy41111), wy8) → new_foldr4(wy300, wy41110, wy41111, new_primPlusNat(wy8), new_primPlusNat(wy8))
The graph contains the following edges 1 >= 1, 2 > 2, 2 > 3
new_foldr4(wy300, Neg(Zero), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3
new_foldr4(wy300, Neg(Succ(wy411000)), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3
new_foldr4(wy300, Pos(wy41100), wy4111, wy8, wy7) → new_foldr3(wy300, wy4111, wy8)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldr6(wy300, Neg(wy41100), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
new_foldr6(wy300, Pos(Succ(wy411000)), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
new_foldr6(wy300, Pos(Zero), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
new_foldr5(wy300, :(wy41110, wy41111), wy10) → new_foldr6(wy300, wy41110, wy41111, new_primPlusNat(wy10), new_primPlusNat(wy10))

The TRS R consists of the following rules:

new_primPlusNat(Zero) → Succ(Zero)
new_primPlusNat0(Succ(wy1100)) → Succ(wy1100)
new_primPlusNat(Succ(wy110)) → Succ(Succ(new_primPlusNat0(wy110)))
new_primPlusNat0(Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat0(Succ(x0))
new_primPlusNat(Zero)
new_primPlusNat0(Zero)
new_primPlusNat(Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr5(wy300, :(wy41110, wy41111), wy10) → new_foldr6(wy300, wy41110, wy41111, new_primPlusNat(wy10), new_primPlusNat(wy10))
The graph contains the following edges 1 >= 1, 2 > 2, 2 > 3
new_foldr6(wy300, Neg(wy41100), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3
new_foldr6(wy300, Pos(Succ(wy411000)), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3
new_foldr6(wy300, Pos(Zero), wy4111, wy10, wy9) → new_foldr5(wy300, wy4111, wy10)
The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_psPs0(Succ(wy30000), Succ(wy400000), wy5) → new_psPs0(wy30000, wy400000, wy5)

From the DPs we obtained the following set of size-change graphs:

new_psPs0(Succ(wy30000), Succ(wy400000), wy5) → new_psPs0(wy30000, wy400000, wy5)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3

findIndices00	p (x,i)	= if p x then i : [] else []
findIndices00	p _	= []